1

Post Correspondence Problem for short words

Vesa Halava, Tero Harju, Mika Hirvensalo, Juhani Karhumäki
Journal:
Information Processing Letters
Year:
2008
Language:
english
File:
PDF, 135 KB
english, 2008
2

Mortality in Matrix Semigroups

Vesa Halava and Tero Harju
Journal:
American Mathematical Monthly
Year:
2001
Language:
english
File:
PDF, 187 KB
english, 2001
4

Mortality in Matrix Semigroups

Halava, Vesa, Harju, Tero
Journal:
American Mathematical Monthly
Year:
2001
Language:
english
File:
PDF, 292 KB
english, 2001
5

Splicing semigroups of dominoes and DNA

Karel Culik II, Tero Harju
Journal:
Discrete Applied Mathematics
Year:
1991
Language:
english
File:
PDF, 891 KB
english, 1991
6

Decidability of the binary infinite Post Correspondence Problem

Vesa Halava, Tero Harju, Juhani Karhumäki
Journal:
Discrete Applied Mathematics
Year:
2003
Language:
english
File:
PDF, 115 KB
english, 2003
7

Zebra Factorizations in Free Semigroups

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg
Journal:
Semigroup Forum
Year:
2004
Language:
english
File:
PDF, 366 KB
english, 2004
8

The Equation xi= yjzkin a Free Semigroup

Tero Harju, Dirk Nowotka
Journal:
Semigroup Forum
Year:
2004
Language:
english
File:
PDF, 315 KB
english, 2004
9

On Markov's Undecidability Theorem for Integer Matrices

Vesa Halava, Tero Harju
Journal:
Semigroup Forum
Year:
2007
Language:
english
File:
PDF, 298 KB
english, 2007
10

Defect theorems with compatibility relations

Vesa Halava, Tero Harju, Tomi Kärki
Journal:
Semigroup Forum
Year:
2008
Language:
english
File:
PDF, 542 KB
english, 2008
11

On the equation in a free semigroup

Tero Harju, Dirk Nowotka
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 160 KB
english, 2005
12

Word problem for deterministic and reversible semi-Thue systems

Halava, Vesa, Harju, Tero
Journal:
Semigroup Forum
Year:
2014
Language:
english
File:
PDF, 464 KB
english, 2014
13

On the n-permutation Post Correspondence Problem

Ernvall, Mari, Halava, Vesa, Harju, Tero
Journal:
Theoretical Computer Science
Year:
2015
Language:
english
File:
PDF, 386 KB
english, 2015
15

Walks on tilings of polygons

Halava, Vesa, Harju, Tero
Journal:
Theoretical Computer Science
Year:
2017
Language:
english
File:
PDF, 357 KB
english, 2017
19

Periods and Binary Words

Vesa Halava, Tero Harju, Lucian Ilie
Journal:
Journal of Combinatorial Theory, Series A
Year:
2000
Language:
english
File:
PDF, 102 KB
english, 2000
20

A simulation result for the auxiliary pushdown automata

Tero Harju
Journal:
Journal of Computer and System Sciences
Year:
1979
Language:
english
File:
PDF, 771 KB
english, 1979
21

Dominoes over a free monoid

Karel Culik II, Tero Harju
Journal:
Theoretical Computer Science
Year:
1982
Language:
english
File:
PDF, 2.06 MB
english, 1982
22

Flatwords and Post Correspondence Problem

Tero Harju, Marjo Lipponen, Alexandru Mateescu
Journal:
Theoretical Computer Science
Year:
1996
Language:
english
File:
PDF, 886 KB
english, 1996
23

Undecidability in matrices over Laurent polynomials

Vesa Halava, Tero Harju
Journal:
Advances in Applied Mathematics
Year:
2004
Language:
english
File:
PDF, 91 KB
english, 2004
24

Positivity of second order linear recurrent sequences

Vesa Halava, Tero Harju, Mika Hirvensalo
Journal:
Discrete Applied Mathematics
Year:
2006
Language:
english
File:
PDF, 155 KB
english, 2006
25

Patterns of simple gene assembly in ciliates

Tero Harju, Ion Petre, Vladimir Rogojin, Grzegorz Rozenberg
Journal:
Discrete Applied Mathematics
Year:
2008
Language:
english
File:
PDF, 593 KB
english, 2008
26

Graph theoretic approach to parallel gene assembly

Tero Harju, Chang Li, Ion Petre
Journal:
Discrete Applied Mathematics
Year:
2008
Language:
english
File:
PDF, 725 KB
english, 2008
27

Transitivity of local complementation and switching on graphs

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg
Journal:
Discrete Mathematics
Year:
2004
Language:
english
File:
PDF, 394 KB
english, 2004
28

Equality sets of prefix morphisms and regular star languages

Vesa Halava, Tero Harju, Michel Latteux
Journal:
Information Processing Letters
Year:
2005
Language:
english
File:
PDF, 84 KB
english, 2005
29

Square-free partial words

Vesa Halava, Tero Harju, Tomi Kärki
Journal:
Information Processing Letters
Year:
2008
Language:
english
File:
PDF, 127 KB
english, 2008
30

Cyclically repetition-free words on small alphabets

Tero Harju, Dirk Nowotka
Journal:
Information Processing Letters
Year:
2010
Language:
english
File:
PDF, 151 KB
english, 2010
31

Many aspects of defect theorems

Tero Harju, Juhani Karhumäki
Journal:
Theoretical Computer Science
Year:
2004
Language:
english
File:
PDF, 308 KB
english, 2004
32

A characterization of periodicity of bi-infinite words

Tero Harju, Arto Lepistö, Dirk Nowotka
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 98 KB
english, 2005
33

Counting bordered and primitive words with a fixed weight

Tero Harju, Dirk Nowotka
Journal:
Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 173 KB
english, 2005
34

On unique factorizations of primitive words

Tero Harju, Dirk Nowotka
Journal:
Theoretical Computer Science
Year:
2006
Language:
english
File:
PDF, 144 KB
english, 2006
36

Overlap-freeness in infinite partial words

Vesa Halava, Tero Harju, Tomi Kärki, Patrice Séébold
Journal:
Theoretical Computer Science
Year:
2009
Language:
english
File:
PDF, 415 KB
english, 2009
37

The size of switching classes with skew gains

Jurriaan Hage, Tero Harju
Journal:
Discrete Mathematics
Year:
2000
Language:
english
File:
PDF, 114 KB
english, 2000
38

Pancyclicity in switching classes

Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
Journal:
Information Processing Letters
Year:
2000
Language:
english
File:
PDF, 64 KB
english, 2000
39

On a geometric problem of zigzags

Vesa Halava, Tero Harju, Lucian Ilie
Journal:
Information Processing Letters
Year:
1997
Language:
english
File:
PDF, 313 KB
english, 1997
40

Binary (generalized) Post Correspondence Problem

Vesa Halava, Tero Harju, Mika Hirvensalo
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 208 KB
english, 2002
42

On the independence of equations in three variables

Tero Harju, Dirk Nowotka
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 387 KB
english, 2003
43

On quasi orders of words and the confluence property

Tero Harju, Lucian Ilie
Journal:
Theoretical Computer Science
Year:
1998
Language:
english
File:
PDF, 1.43 MB
english, 1998
45

Embedding linear orders in grids

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg
Journal:
Acta Informatica
Year:
2006
Language:
english
File:
PDF, 214 KB
english, 2006
46

Periods in Extensions of Words

Tero Harju, Dirk Nowotka
Journal:
Acta Informatica
Year:
2006
Language:
english
File:
PDF, 120 KB
english, 2006
48

Parallelism in Gene Assembly

Tero Harju, Chang Li, Ion Petre, Grzegorz Rozenberg
Journal:
Natural Computing
Year:
2006
Language:
english
File:
PDF, 401 KB
english, 2006
49

The equations h(w)=wn in binary alphabets

Tero Harju, Matti Linna
Journal:
Theoretical Computer Science
Year:
1984
Language:
english
File:
PDF, 267 KB
english, 1984
50

Finite metrics in switching classes

Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg
Journal:
Discrete Applied Mathematics
Year:
2007
Language:
english
File:
PDF, 177 KB
english, 2007